-
1 this completes the proof
Универсальный англо-русский словарь > this completes the proof
-
2 complete the proof
Математика: достроить доказательство, кончать доказательство, заканчивать доказательство (This completes the proof of the first part of the theorem; and the second is a triviality.) -
3 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
См. также в других словарях:
Proof of Bertrand's postulate — In mathematics, Bertrand s postulate (actually a theorem) states that for each n ≥ 2 there is a prime p such that n < p < 2 n . It was first proven by Pafnuty Chebyshev, and a short but advanced proof was given by Srinivasa Ramanujan. The gist of … Wikipedia
The Legend of Zelda — This article is about the video game series. For the first game in the series, see The Legend of Zelda (video game). For other uses, see The Legend of Zelda (disambiguation). The Legend of Zelda The Legend of Zelda current series logo … Wikipedia
The Labours of Hercules — Infobox Book | name = The Labours of Hercules title orig = translator = image caption = Dust jacket illustration of the US (true first) edition. See Publication history (below) for UK first edition jacket image. author = Agatha Christie… … Wikipedia
The Trial (Angel) — Infobox Television episode Title = The Trial Series = Angel Caption = Season = 2 Episode = 9 Airdate = November 28, 2000 Production = 2ADH09 Writer = Douglas Petrie Tim Minear Director = Bruce Seth Green Guests = Christian Kane (Lindsey) Jim… … Wikipedia
The Alternative Factor — NOTOC ST episode name = The Alternative Factor Kirk encounters Lazarus and the timeship series = TOS ep num = 27 prod num = 020 remas. num = 49 date = March 30 1967 writer = Don Ingalls director = Gerd Oswald guest = Robert Brown Janet MacLachlen … Wikipedia
The Conduit — Developer(s) High Voltage Software Publisher(s) Sega … Wikipedia
Enlightenment II (The French): deism, morality and politics — The French Enlightenment II: deism, morality and politics Peter Jimack One of the most striking features of the French Enlightenment was its hostility to Christianity, especially as represented by the Catholic Church, a hostility which went far… … History of philosophy
Enlightenment I (The French): science, materialism and determinism — The French Enlightenment I: science, materialism and determinism Peter Jimack The French Enlightenment is not just a convenient label devised by historians of philosophy, and the thinkers to be discussed in this chapter and the next were for the… … History of philosophy
Exact sciences (The) in Hellenistic times: texts and issues — The exact sciences in Hellenistic times: Texts and issues1 Alan C.Bowen Modern scholars often rely on the history of Greco Latin science2 as a backdrop and support for interpreting past philosophical thought. Their warrant is the practice… … History of philosophy
Conditional preservation of the saints — The Five Articles of Remonstrance Conditional election Unlimited atonement Total depravity … Wikipedia
Episode list of The Universe (TV series) — This is a list of the currently released and yet to be released episodes of The History Channel s television Series The Universe .eason One Episodes* Episode 1 Secrets of the Sun It is a fireball in the sky, a bubbling, boiling, kinetic sphere of … Wikipedia
